On subrecursive representability of irrational numbers
نویسنده
چکیده
We consider various ways to represent irrational numbers by subrecursive functions: via Cauchy sequences, Dedekind cuts, trace functions, several variants of sum approximations and continued fractions. Let S be a class of subrecursive functions. The set of irrational numbers that can be obtained with functions from S depends on the representation. We compare the sets obtained by the different representations.
منابع مشابه
On Subrecursive Representability of Irrational Numbers, Part II
We consider various ways to represent irrational numbers by subrecursive functions. An irrational number can be represented by its base-b expansion; by its base-b sum approximation from below; and by its base-b sum approximation from above. Let S be a class of subrecursive functions, e.g., the class the primitive recursive functions. The set of irrational numbers that can be obtained by functio...
متن کاملRepresentability of binary relations through fuzzy numbers
Weanalyse the representability of different classes of binary relations on a set bymeans of suitable fuzzy numbers. In particular, we show that symmetric triangular fuzzy numbers can be considered as the best codomain to represent interval orders. We also pay attention to the representability of other classes of acyclic binary relations. © 2005 Elsevier B.V. All rights reserved.
متن کاملSome subrecursive versions of Grzegorczyk's Uniformity Theorem
A theorem published by A. Grzegorczyk in 1955 states a certain kind of effective uniform continuity of computable functionals that transform systems of total functions in the set of the natural numbers and of natural numbers into natural numbers. Namely, for any such functional a computable functional with one function-argument and the same number-arguments exists such that the values of the fi...
متن کاملPartial Recursive Functions and Finality
We seek universal categorical conditions ensuring the representability of all partial recursive functions. In the category Pfn of sets and partial functions, the natural numbers provide both an initial algebra and a final coalgebra for the functor 1 + −. We recount how finality yields closure of the partial functions on natural numbers under Kleene’s μ-recursion scheme. Noting that Pfn is not c...
متن کاملStudent-Faculty Colloquium Some Proofs of the Existence of Irrational Numbers
Over the course of this article, we will discuss irrational numbers and several different ways to prove their existence. As is commonly known, the real numbers can be partitioned into rational numbers and irrational numbers. Rational numbers are those which can be represented as a ratio of two integers — i.e., the set { b : a, b ∈ Z, b 6= 0} — and the irrational numbers are those which cannot b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computability
دوره 6 شماره
صفحات -
تاریخ انتشار 2017